Tree tribes and lower bounds for switching lemmas
نویسنده
چکیده
We show tight upper and lower bounds for switching lemmas obtained by the action of random p-restrictions on boolean functions that can be expressed as decision trees in which every vertex is at a distance of at most t from some leaf, also called t-clipped decision trees. More specifically, we show the following: 1. If a boolean function f can be expressed as a t-clipped decision tree, then under the action of a random p-restriction ρ, the probability that the smallest depth decision tree for f |ρ has depth greater than d is upper bounded by (4p2t)d. 2. For every t, there exists a function gt that can be expressed as a t-clipped decision tree, such that under the action of a random p-restriction ρ, the probability that the smallest depth decision tree for gt|ρ has depth greater than d is lower bounded by (c0 p2t)d, for 0 ≤ p ≤ cp2−t and 0 ≤ d ≤ cd log n 2t log t , where c0, cp, cd are universal constants. ∗California Institute of Technology. 1 ar X iv :1 70 3. 00 04 3v 1 [ cs .C C ] 2 8 Fe b 20 17
منابع مشابه
On Proving Circuit Lower Bounds against the Polynomial-Time Hierarchy
We consider the problem of proving circuit lower bounds against the polynomialtime hierarchy. We first revisit a lower bound given by Kannan [Kan82], and for any fixed integer k > 0, we give an explicit Σp2 language, recognizable by a Σ p 2-machine with running time O(nk 2+k), that requires circuit size > nk. Next, as our main results, we give relativized results showing the difficulty of provi...
متن کاملOn Proving Circuit Lower Bounds Against PH and Some Related Lower Bounds for Constant Depth Circuits
We consider the problem of proving circuit lower bounds against the polynomial-time hierarchy. We give both positive and negative results. For the positive side, for any fixed integer k > 0, we give an explicit Σp2 language, acceptable by a Σ p 2-machine with running time O(n k2+k), that requires circuit size > nk. This provides a constructive version of an existence theorem of Kannan [Kan82]. ...
متن کاملTR - C 167 title : On Proving Circuit Lower Bounds Against the Polynomial - time Hierarchy : Positive / Negative Results and Some Related Lower Bounds for Constant Depth Circuits
We consider the problem of proving circuit lower bounds against the polynomialtime hierarchy. We give both positive and negative results. For the positive side, for any fixed integer k > 0, we give an explicit Σp2 language, acceptable by a Σ p 2-machine with running time O(nk 2+k), that requires circuit size > nk. This provides a constructive version of an existence theorem of Kannan [Kan82]. O...
متن کاملImproved pseudorandom generators from pseudorandom multi-switching lemmas
We give the best known pseudorandom generators for two touchstone classes in unconditional derandomization: an ε-PRG for the class of size-M depth-d AC circuits with seed length log(M) · log(1/ε), and an ε-PRG for the class of S-sparse F2 polynomials with seed length 2 √ logS) · log(1/ε). These results bring the state of the art for unconditional derandomization of these classes into sharp alig...
متن کاملAn Entropy Proof of the Switching Lemma and Tight Bounds on the Decision-Tree Size of AC
The first result of this paper is (a novel proof of) the following switching lemma for m-clause DNF formulas F : (1) P[ DTdepth(F Rp) ≥ t ] = O(p log(m+ 1)) for all p ∈ [0, 1] and t ∈ N where Rp is the p-random restriction and DTdepth denotes decision-tree depth. Our proof replaces the counting arguments in previous proofs of H̊astad’s O(pw) switching lemma for width-w DNFs [5, 8, 2] with a nove...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1703.00043 شماره
صفحات -
تاریخ انتشار 2017